PoD: Check p2m assumption in debug builds
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 15 Sep 2009 08:13:38 +0000 (09:13 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 15 Sep 2009 08:13:38 +0000 (09:13 +0100)
commit877d625b291c788fd8add143e5a024fa78712c5b
tree6a1fd2b66b18bc428e4c6321778827b54b00dd36
parentcc6b5890607bc9d5cbee4eb6b83e49e083b6df0f
PoD: Check p2m assumption in debug builds

The PoD code assumes that if:
* A page is in a domain's p2m table
* And it's owned by the domain
* And it's not a xenheap page
then:
* It's on the domain's page list.

This patch adds a check for this assumption when debug=y.

Signed-off-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/arch/x86/mm/p2m.c